body {
	display: inline-block;
}

div#TOC {
	border: 1px solid #C7C7C7;
	-webkit-border-radius: 3px;
	-moz-border-radius: 3px;
	border-radius: 3px;
}
